// Copyright (C) 2019 Aleksey Shvayka. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-proxy-object-internal-methods-and-internal-slots-getownproperty-p
description: >
    Throws a TypeError exception if resultDesc is both non-configurable and
    non-writable, while targetDesc is writable.
info: |
    [[GetOwnProperty]] (P)

    ...
        ...
        b. If resultDesc has a [[Writable]] field and resultDesc.[[Writable]] is
        false, then
            i. If targetDesc.[[Writable]] is true, throw a TypeError exception.
    ...
features: [Proxy, proxy-missing-checks]
---*/

function Test() {
    var trapCalls = 0;
    var p = new Proxy({}, {
      getOwnPropertyDescriptor: function(t, prop) {
        Object.defineProperty(t, prop, {
          configurable: false,
          writable: true,
        });

        trapCalls++;
        return {
          configurable: false,
          writable: false,
        };
      },
    });

    assert.throws(TypeError, function() {
      Object.getOwnPropertyDescriptor(p, "prop");
    });
    assert.sameValue(trapCalls, 1);
}

// preheat
const NUMBER_OF_PREHEAT = 1;
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}

ArkTools.jitCompileAsync(Test);
assert.sameValue(ArkTools.waitJitCompileFinish(Test), true, '[JIT] JIT disabled.');

// test
const NUMBER_OF_TEST = 1; // or 2
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}
